You have chosen Empedocles, Kurt Gdel and Empedocles.
All three must be different; choose another philosopher.